fix build w/ trace/debug/etc enabled [from michael day]
#include <xen/list.h>
#include <xen/serial.h>
#include <xen/softirq.h>
+#include <xen/init.h>
/* opt_pdb: Name of serial port for Xen pervasive debugger (and enable pdb) */
static unsigned char opt_pdb[10] = "none";
#include <xen/smp.h>
#include <xen/trace.h>
#include <xen/errno.h>
+#include <xen/init.h>
#include <asm/atomic.h>
#include <public/dom0_ops.h>
#ifndef _I386_REGS_H
#define _I386_REGS_H
+#include <asm/types.h>
+
struct xen_regs
{
/* All saved activations contain the following fields. */